Giuseppe Longo: Computations and Natural Sciences
نویسنده
چکیده
Giuseppe Longo, a well-known mathematician and computer scientist, is a former professor of Mathematical Logic and Theory of Computing, at the Unniversity of Pisa (Italy) and, since 1990, Directeur de Recherches at CNRS and at the École Normale Supérieure in Paris. Professor Longo has extensively published in many areas including logic and computability, type theory, category theory and their applications to computer science, interfaces between mathematics, physics, biology, philosophy of mathematics. His current work focuses on theories of organisms, in conjunction to evolutionary theories. Since 2013, he is also adjunct professor at the Department of Integrative Physiology and Pathobiology, Tufts University School of Medicine, Boston Giuseppe Longo is the editor of the book series “Visions des sciences”, Hermann, Paris, and is serving as an editor to the following academic jour-
منابع مشابه
Tactile Distance Aftereffects 1 RUNNING HEAD: Tactile Distance Aftereffects Classification: Biological Sciences / Social Sciences - Psychological and Cognitive Sciences Tactile Distance as a Basic Somatosensory Feature: Evidence from Adaptation Aftereffects
متن کامل
The Genericity Theorem and the Notion of Parametricityin the Polymorphic - calculusGiuseppe Longo
This paper focuses on how terms of second order-calculus, which may take types as inputs, depend on types. These terms are generally understood to have an \essentially" constant meaning, in all models, on input types. We show how the proof theory of second order-calculus suggests a clear syntactic description of this phenomenon. Namely, under a reasonable condition, we show that identity of two...
متن کاملApplications of neural networks in astronomy and astroparticle physics
Neural Networks try to emulate the behavior of human brain in performing simple classification and pattern recognition tasks. The huge explosion in both quality and quantity of data experienced in the last decade by both astronomy and high energy physics, has stimulated the search for artificial intelligence tools capable to help the scientist in both the routine work (such as prereduction and ...
متن کامل